Knihy od autora Mariëlle Stoelinga

Zobrazené 1 – 9 z 9 výsledkov

1. 

   Formal Methods for Industrial Critical Systems

   Mariëlle Stoelinga, Ralf Pinger | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   47.59 €

   Zľava 7 %

   Ušetríte 3.97 €

   Kúpiť
2. 

   Principles of Verification: Cycling the Probabilistic Landscape

   Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   77.37 €

   Zľava 7 %

   Ušetríte 6.51 €

   Kúpiť
3. 

   Quantitative Evaluation of Systems

   Pedro R. D'Argenio, Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
4. 

   Concise Guide to Fault Tree Analysis

   Mariëlle Stoelinga, Enno Ruijters, Pavel Krcál | Springer, Berlin, 2025

   
   

   Skladom u dodávateľa - Odosielame za 10 - 13 dní

   Jazyk: Angličtina

   Väzba: Pevná

   65.62 €

   Zľava 9 %

   Ušetríte 7.13 €

   Kúpiť
5. 

   Stochastic Model Checking

   Anne Remke, Mariëlle Stoelinga | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2014

   
   

   Skladom u dodávateľa v malom množstve - Odosielame za 13 - 18 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   55.90 €

   Kúpiť
6. 

   A Journey from Process Algebra via Timed Automata to Model Learning

   Nils Jansen, Mariëlle Stoelinga, Petra van den Bos | Springer, Berlin, 2022

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
7. 

   Principles of Verification: Cycling the Probabilistic Landscape

   Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   72.20 €

   Zľava 7 %

   Ušetríte 6.09 €

   Kúpiť
8. 

   Formal Modeling and Analysis of Timed Systems

   Mariëlle Stoelinga | Springer Nature Switzerland AG, 2019

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   51.75 €

   Zľava 7 %

   Ušetríte 4.29 €

   Kúpiť
9. 

   Principles of Verification: Cycling the Probabilistic Landscape

   Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mariëlle Stoelinga, Matthias Volk | Springer, Berlin, 2024

   
   

   Skladom u dodávateľa - Odosielame za 5 - 8 dní

   Jazyk: Angličtina

   Väzba: Brožovaná

   82.54 €

   Zľava 7 %

   Ušetríte 6.89 €

   Kúpiť

Máte na výber zo mnohých spôsobov platby za váš nákup. Zistite viac